<?php

$url = $_GET['url'];
$target = 'index.php5?url=' . $url;

header('Location: ' . $target);

?>